Binary Arithmetic Subtraction